- язык программирования Оккам
- occam
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию. Э.М. Пройдаков, Л.А. Теплицкий. 1998-2004.
язык программирования Оккам
Смотреть что такое "язык программирования Оккам" в других словарях:
Оккам (язык программирования) — Эта статья о языке программирования; о философе см.: Оккам, Уильям. occam Появился в: 1983 Диалекты: occam π (pi) Испытал влияние: CSP (англ.) Повлиял на … Википедия
Occam (язык программирования) — Язык программирования Оккам (англ. Occam) это процедурный язык параллельного программирования высокого уровня, разработанный в начале 80 х годов группой учёных из Оксфорда под руководством Дэвида Мэя (англ. David May) по заданию английской… … Википедия
Occam — Эта статья о языке программирования; о философе см.: Оккам, Уильям. Язык программирования Оккам (англ. Occam) это процедурный язык параллельного программирования высокого уровня, разработанный в начале 1980 х годов группой учёных из… … Википедия
Великобритания (государство) — Великобритания (Great Britain); официальное название ‒ Соединённое Королевство Великобритании и Северной Ирландии (The United Kingdom of Great Britain and Northern Ireland). I. Общие сведения В. ‒ островное государство на С. З. Европы; занимает… … Большая советская энциклопедия
Великобритания — I Великобритания (Great Britain) остров в Атлантическом океане, входящий в группу Британских островов (См. Британские острова). См. Великобритания (государство). II Великобритания (Great Britain) официальное название Соединённое… … Большая советская энциклопедия
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
